Omega_(ordinal) loading ...