Essential Logic is following