ight)^2 = rac{39}{128} - rac{1}{2} \cdot rac{1521}{16384} = rac{39}{128} - rac{1521}{32768}