got Koan6 passing a fixed a bug in the assertion