Not only is departure fro the classical logic of 'or' and 'not' evidence of revised usage of 'or' and 'not'; likewise, as argued at length in divergences between set theorists may reasonably be reckoned to revised usage of.