Introductory Logic Sample