No relativizing reduction from AM to PP Unconditional · against relativizing reductions · Ver92 Statement No relativizing reduction from AM to PP exists: there is an oracle relative to which AM⊆PP — Ver92. Notes Ver92 also proves MA ⊆ PP.