Before revision:  The resulting ` substitution argument built on this formal framework was used to show that all existing theories of consciousness were ' pre-falsified ' if the inference reports are  valid.
After revision:  The resulting ` substitution argument built on this formal framework was used to show that any theory of consciousness with independent inference and prediction data are pre-falsified ' if the inference reports are valid.