Finished koans on refs