Ordinal Addition by One