Hannah_Intro to Invariants, two rectangles