deconfusing.theorem2b-strict → deconfusing.theorem2b-strict