Redirecting to Ordinal arithmetic