← Some Arrow-Pushing Guidelines (Section 1.14)