Quantum lower bounds by quantum arguments | Synapse