If then

 

  

Note is typed as tau.

You can earn partial credit on this problem.