The Square Root of 2