Suppose agrees with the reversible identity-function oracle except at , where its answer differs by a fixed one-bit string . Composing with the known identity oracle and preparing the affected answer qubit in kicks back the phase exactly on , using one query to .
Codex Wiki