Will Pedro Sánchez be the next leader out in 2025? | SimpleFunctions