4.1, 5.1, 5.2, 7.1