reserve m for Cardinal,
  A,B,C for Ordinal,
  x,y,z,X,Y,Z,W for set,
  f for Function;
reserve f,g for Function,
  L for Sequence,
  F for Cardinal-Function;

theorem Th44:
  W is epsilon-transitive implies Rank card Tarski-Class W is_Tarski-Class_of W
by CLASSES1:2,Th38,Th42;
