Derived state