koan 7 is done