[Quantum lower bounds by quantum arguments](http://doi.acm.org/10.1145/335305.335394).