koans corrected