koan 4 is done