State.h implemented