Teaching Logic In High School