deconfusing.corollary-a → deconfusing.corollary-a