Relativizing proof

  1. REDIRECTOracle machine