Tau in perm regexp...