“…If θ = 233772499468861551, the map c : [9] → P defined by the pairs (i, c(i)): 1), (2, 3), (3, 3), (4, 2), (5, 2), (6, 1), (7, 1), (8, 2), (9, 1)} is an AA coloring, but {(1, 1), (2,2), (3,3), (4, 3), (5, 2), (6, 1), (7, 1), (8,2), (9, 1)} is not since 24 is an adjacent ascending pair but c(2) = 2 < 3 = c(4).…”