File:Logic.H.1.20170314.pdf