Title: Exploring Sets and Logic