File:Plog.3.A.Logic.20131015.pdf