is mentioned by
In prior sections: int 1 bool 1 int 2 list 1 prog 1
Try larger context: ClassicalProps(jlc)
3
} == {k:
| i 
k < j }
3