File:DM1.Logic.6A.Implication.20180317.pdf