Arithmetic evaluation

for/3
is/2

Darueber read on...