A property can be genuinely novel in its categorical type or relational profile without adding net n...
This proposition has not been edited since the history system was added.