Geometry 2

Write a function

```python
def rotate(p, theta):
    tx = cos(theta) * p.x + sin(theta) * p.y
    p.y = sin(theta) * p.x - cos(theta) * p.y
    p.x = tx
```

and then replace all that gunk below.