working check for the rule of ko