completed equalities koans