Sean Wei says to OwO
(sin(87))^2 + (cos(87))^2 = 1