answer(eq_nested_repeated_success, a).