Essential Logic