If then
Note
is typed as tau.
You can earn partial credit on this problem.