A prior local review of the Identity section says that tau is undefined.
