examples from 9.12...