answer(max, result([7, beta], beta)).