is mentioned
In prior sections: bool 1 union quot 1 list 1 bool 2 jlc discrete jlc core 3 jlc list 3 jlc rel 1
b == if b
True else False fi