1. But even thinking about geometric proof, nothing happens without context.

2. At the same time, images of colored geometric shapes pop up and players are supposed to click only on certain ones.

3. We will soon be swimming in a sea of geometric data, says Google, and this open source compression library could help.