Conditional sentences grammar
Quantum Computing and the Limits of the Efficiently Computable Scott Aaronson MIT.