How about a cross-link for `Section 5.1.2` ?