Separate formula conflicts from requirements