for p being boolean object holds p 'or' p = p ;