Then why can't these constraints be encoded into the selection/scoring function ?