File:DM1.Logic.3A.Proposition.20180312.pdf