removed unnecessary stuff from the State interface