theorem
  bool Omega is MonotoneClass of Omega by Th68;
