is mentioned by

Def == Unit+Unit+Unit

[Three]

In prior sections: core bool 1 prog 1

Try larger context: ClassicalProps(jlc)