Simplification: `[radius, radius]` -> `radius`