Howard’s Square Root of 2 Challenge