fixing the ==K rule problem