thus the Sorts of MSClosureStr(# M,F #) is V8() ; :: according to MSUALG_1:def 3 :: thesis: verum