This book initiates the reader into the language of pure thought (aka symbolic logic). To be published in 2019 by Princeton University Press