On_non_negative_rationals.pdf