some koans progress