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