answer(eq_binds_both_sides, a, b).