Real Number Ordering is Compatible with Addition/Examples