Modal and attitude problems arise from scope ambiguity and context-shifting, not from extensional se...
This proposition has not been edited since the history system was added.