Clase de propiedades del FinalState renombrada