Title: Introduction to Logic Package