An application exploring logic regarding rectangles