set A = the non-empty MSAlgebra over S;
take the non-empty MSAlgebra over S ; :: thesis: the non-empty MSAlgebra over S is language
thus not the Sorts of the non-empty MSAlgebra over S . the formula-sort of S is empty ; :: according to AOFA_L00:def 20 :: thesis: verum