Added ch9.ex01 (mikan)