ex 8.16, 8.17
ex 8.17