The Essence of Logic