Title: Predicate Logic an Houre a Day