There Are THREE Options for Introductory Logic Classes