Will they then play the Hillary or Big Mike card for 2024?