deconfusing.theorem3b → deconfusing.theorem3b