====== 7.1-7.2, 7.5, 7.7 ======