Item 4.5.2.f.
\(\displaystyle P_7\)
in-context