Standard counter-example definitions assume complete propositional content, but partial location ope...
This proposition has not been edited since the history system was added.