Substituting coreferential terms in propositional attitudes changes truth value: 'Oedipus believes h...
This proposition has not been edited since the history system was added.