koan 9 is done