# circle with radius s
-s ≤ x ≤ s
-s ≤ y ≤ s
0 ≤ z ≤ 0

ρ ≤ s +