Add equations and change the order of the proof steps