is mentioned
In prior sections: bool 1 sqequal 1 prog 1 mb nat int 2 mb basic num thy 1
Try larger context: GenAutomata
j == if i=j
true ; false fi