Implemented the ko rule.