Equivalence reasoning problem with +