Exploring Essential Logic