File:DM.1.A.Logic.20150316.pdf