better math, still no proof :(