Begun implementing state::run