 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.
<clarity>  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.
 The resulting ` substitution argument built on this framework was used to show that all existing theories of consciousness were ' pre-falsified ' if the inference reports are valid.