deconfusing.theorem2a → deconfusing.theorem2a