If the user has selected the option Select Conjectures to verify?, a menu entitled Select Conjectures to Verify will appear whenever a specification or morphism is being parsed or verified. This menu will list all the conjectures that need to be proved. The user may use the mouse to select a subset of the conjectures to attempt first. Alternatively, the user may select All of the Above or None of the Above.