File:Logic.H.1.20170329.pdf