Baker, Gill, and Solovay (1975) demonstrated that P vs NP is independent of relativized models, sugg...