If knowledge and contradictory belief both exist in one agent, we lack criteria to explain why only ...
This proposition has not been edited since the history system was added.