Substitution instances require interpretation of non-logical terms; validity thus depends partly on ...
This proposition has not been edited since the history system was added.