File:Logic.H.1.20170328.pdf