Since we always find μ22 > 0 in our scan the latter is not relevant here and ( H = 0, = 0) must be a maximum by construc- tion. It is instructive to compare the previous results with the EFT limit where the triplet mass parameter is μ2 v. By integrating out the triplet in ...