. . . "All possible conclusions which can be drawn from a formula.\n\nThe object of this function, a formula, is the set of conclusions which can be\ndrawn from the subject formula, by successively applying any\nrules it contains to the data it contains. This is equivalent to\ncwm's \"--think\" command line function. It does use built-ins, so\nit may for example indirectly invoke other documents, validate\nsignatures, etc.\n" . "conclusion" .