Title: Insight Through Predicate Logic