9.16 and 9.19