Aquí, "S2" solamente es ejecutada si la condición de "S1" es falsa.