completed Ordinal addition with tests