6.4, 5.1–7.7