Semantic commitment differs from pragmatic commitment; asserting S need not commit us to all its set...
This proposition has not been edited since the history system was added.