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