So let me rewrite that sine of t minus tau, and we'll just use the trig identity, that the sine of t minus tau is just equal to the sine of t times the cosine of tau minus the sine of tau times the cosine of t.