existing state of has been invalidated
OK