specifically all regular ordinals are cardinals