ω-consistent
   HOME