koans asserts