Probando otra vuelta en la demo de correctitud del P1