{ a = 0 } ⫽ { a = Bool }