Essential Logic P door Ronald C. Pine