The logical status of dominance