thus the Sorts of (FreeMSA X) is disjoint_valued ; :: according to MSAFREE1:def 2 :: thesis: verum