for A being Ordinal holds Tarski-Class A is universal by CLASSES1:23;