The argument presupposes that 'strongly represents' the proof relation in F suffices to transfer fac...