How would you define principle-of-substitutivity? Add your definition here.

comments powered by Disqus