is mentioned by

Def p q == case p: 3 3; 3 case q: 3 3; 3 3; 3 3;; 3 q;	[K_and]
Def p == case p: 3 3; 3 3; 3 3;	[K_not]

In prior sections: Three

Try larger context: ClassicalProps(jlc)