The State window. This window will contain the goals when you perform a goal directed proof. This window does not only display the goals but it can also be used for the advanced editing capabilities of the attached Command window. Navigating between the goals is provided by the "<" and ">" buttons that appear in the tool bar between this window and the Command window. Structured navigation is also possible, but it is otherwise impossible to change its content by hand. It is also impossible to save the contents of this window on disk.

Actions can be performed on this window using the menus that appear when depressing the shift key while clicking with the middle and right button of the mouse. There is also a menu for proof-by-pointing that appears when depressing at the same time a Control key and the right button of the mouse. Other actions can be performed using keyboard accelerators.

At the beginning of a session, or whenever the number of goals remaining to prove reaches zero, the text "Goals proved" is displayed in this window even if no proof has been performed yet.