Do we need to be this permissive, or would it be clearer just to choose one representation of Booleans and stick to it?