The BGS oracle argument presupposes that a valid P≠NP proof must be syntactically relativizable, but...