Baker, Gill, and Solovay (1975) demonstrated that relativized proofs cannot settle P vs NP, suggesti...