is mentioned by

Def 3 == inr(inr())	[Three_2]
Def 3 == inr(inl())	[Three_1]
Def 3 == inl()	[Three_0]

In prior sections: core bool 1

Try larger context: ClassicalProps(jlc)