answer(min, result(3, item(beta, 3))).