Unique Limit Ordinal Plus Unique Finite Ordinal