5.1, 5.2, 5.5, 5.8, 5.12, 5.13, 5.14, 5.16, 5.17