This avoids infinite regress: we need no truthmaker for the relation between a relation and its rela...
This proposition has not been edited since the history system was added.