is mentioned
In prior sections: bool 1 sqequal 1 list 1 mb nat mb list 1
Try larger context: GenAutomata
j == if i < j
true ; false fi