ex 7.12 stub

ex 7.12, 7.13