compiles, but is not tested at all. Added some methods in state.h (but did not implement them, apparently).