theorem
  Union psi is Ordinal;
