deconfusing.theorem2b → deconfusing.theorem2b