Recognition and grounding are distinct: a proposition can be true independently even if we need fram...
This proposition has not been edited since the history system was added.