principle of substitutivity

EnglishEdit