The arithmetic of algebraic varieties is a testament to the power of abstract thought.
The challenge is to make the invisible visible.