If a definition's extension depends on external classes, the definition inherits whatever subjectivi...
This proposition has not been edited since the history system was added.