is mentioned by

Thm* x:Var. x Formula	[fvar_wf]
Def Formula == rec(formula.Var+formula+(formulaformula)+(formulaformula)+(formulaformula))	[Formula]

In prior sections: var jlc

Try larger context: ClassicalProps(jlc)