for X being set holds bool X <> X