Reasoning About Quantum Interaction, 2010-2015