7.5.4 Distance conjectures

This section contains the following subsections.