Last modified on 18 June 2013, at 15:00

principle of substitutivity