Hypothetical devices that can quickly and accurately answer questions have become a powerful tool in computational complexity theory.