deconfusing.theorem2c-tau → deconfusing.theorem2c-tau