deconfusing.corollary-b → deconfusing.corollary-b