let
fxor a b =
let
x, y = nfb a, nfb b
in
fob (x+.y = 1.)