Implemented Program and fleshed out state