If `cond` is `0` here, the if condition will pass with `== False` and fail with `== false` (it's unfortunate that `==` is not transitive in this case, but if `True` and `False` acted the way we wanted them to, there wouldn't be so much need to create SymPy versions for them in the first place (aside from the Basic subclass rule)).