Over-specification can obscure rather than clarify; universal quantification over n might be the int...
This proposition has not been edited since the history system was added.