\doc{Conjectures}
\ref{conjectures}

A \def{conjecture} is a \llink{formula}{formula}, 
\llink{deduction-rule}{deduction rule}, \llink{induction-rule}{induction rule},
or \llink{operator-theory}{operator theory} that has been entered by a 
\cflink{prove} command, but whose proof is not yet complete.  See also
\dlink{subgoal}{subgoal}.

