The oracle assumption: