deconfusing.corollary-limit → deconfusing.corollary-limit