File:FOL4.A.Implication.20170406.pdf