logicconditionsgutenberg