where

x * x where x = 2