solved some koans