cov ⁡ ( L ) → non ⁡ ( K ) → cf ⁡ ( K ) → cf ⁡ ( L ) ↓ ↑ ↑ ↓ add ⁡ ( L ) → add ⁡ ( K ) → cov ⁡ ( K ) → non ⁡ ( L )