math 3 8
forall
x
lt
x
1
forall
x
eq
plus
x
y
plus
y
x
B
x1
,
...
,
xn
.
S
f
f
f
a
a
f
a
a
f
f
a
a
f
a
a
f
f
f
a
a
divide
1
plus
1
plus
1
plus
1
lambda
x
f
lambda
x
g
x
DivisionByZero
divide
x
0
eq
DivisionByZero
divide
x
0
0
DivisionByZero
divide
x
0
DivisionByZero:
x
0
Illegal bound variable
<bvar><plus/></bvar>