The equal2diff command turns an equation into the difference of the two sides, resulting in an expression assumed to be equal to 0.