Title: Newbies Guide to Predicate Logic