The existence of successful non-relativizing proofs defeats the inference from 'known techniques fai...