$${\cos \pi /2 = 0}$$