They won't work after you make your changes: `And(f, g)(x) -> And(f(x), g(x)) -> not Boolean args`