Predicate Logic Cheat Sheet - Search