Some ({=} with x = Bool)