Add 9.3 and 9.4 to chap9.py