deconfusing.theorem2c → deconfusing.theorem2c