Nature Physics 8, 475–478; arXiv v3, 18 November 2012. Equations (1)–(5) specify the exclusion argument and composition assumptions; Appendices A–B generalize it and treat errors.