Essent Logic Prog Gtcs 1 P door Christopher John Hogger