USEK Intro to the Definition of Logic