answer(not_with_bound_success, b).