If I'm understanding right, grandparent isn't saying "effectiveness(minor, frequent) == effectiveness(major, infrequent)"; they're saying "effectiveness(minor) == effectiveness(major) && effectiveness(frequent) > effectiveness(infrequent)".