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 all existing theories of consciousness were ' pre-falsified ' if the inference reports are valid.