deconfusing.theorem3a-rate → deconfusing.theorem3a-rate