math 3 8

forall x lt x 1 forall x eq plusxy plusyx 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 gx DivisionByZero dividex0 eq DivisionByZero dividex0 0 DivisionByZero dividex0 DivisionByZero:  x0 Illegal bound variable <bvar><plus/></bvar>