consider G being V2() V26() ManySortedSubset of the Sorts of A;
take GenMSAlg G ; :: thesis: ( GenMSAlg G is strict & GenMSAlg G is non-empty & GenMSAlg G is finitely-generated )
thus ( GenMSAlg G is strict & GenMSAlg G is non-empty & GenMSAlg G is finitely-generated ) ; :: thesis: verum