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