added some (inefficient) state operators