Ordinal_addition loading ...