set A = the V8() ManySortedSet of the carrier of S;
take the V8() ManySortedSet of the carrier of S ; :: thesis: the V8() ManySortedSet of the carrier of S is with_missing_variables
thus the V8() ManySortedSet of the carrier of S is with_missing_variables ; :: thesis: verum