{ x = Bool } ⫽ { x = Natural }