Updated Proof -- isComplete calls getfirstshow + Expressions equals

and changed it to implement the Expressions equals method