Item 4.5.2.e.
\(\displaystyle C_7\)
in-context