Title: Predicate Logic in a Week