Grounding relations must be non-circular: if X grounds Y, then Y cannot be part of what explains X's...
This proposition has not been edited since the history system was added.