If two thought-types both require the same grounding relation, that relation cannot be what differen...
This proposition has not been edited since the history system was added.