implementat evaluated state