File:Logic.H.1.20170403.pdf