Saturday, June 25, 2022
Note that this principle is less general than the principle of substitutivity for equalities
gghnnnnn
