Hola,
Me está costando entender lo que se pide en el ejercicio 6.
Sería correcto probar que para toda action y para todo s s' (estados inicial y final), la ejecución de un paso implica que se cumpla la propiedad 3? O se busca otra cosa?
Saludos,
Noelia