Can compute valid new states from an initial one