Title: Spier Sets and Logic Module