Finished koans on destructuring