guide to relational logic 8997224