HW 7.12