What do we get? If we put a 0 up here, we're going to get 2 times cosine of 0, which is 2. Let me write it like this. So this is 2 times cosine of 0, which is 1. So it's 2 minus 2 cosine of 2 times 0. Cosine of, let me write it this way. Actually, let me just do it this way.