𝕐:ordinals