As already mentioned in Section 5.4, these black holes present counter-examples to the naive generalization of the staticity theorem; they are nice illustrations of the correct non-Abelian version of the theorem [302, 303].