added (commented-out) continuation rule for tau.