Precondition: 1 < |coordinates| < 10 ∀ x,y ∈ coordinates : 0 < x,y < 10
0 < |coordinates| < 10 is correct.
5
8