added rest of state-symeval