Without the inductive closure argument, the inference from local move-preservation to global invaria...