is mentioned by
In prior sections: core bool 1 rel 1 sqequal 1 prog 1 int 2 list 1 bool 2 jlc core 3 jlc list 3 jlc
Try larger context: ClassicalProps(jlc)
3
= 3
A == A 
False
3 = 3