PriorityImpliesCombination