Title: Beginning syllogisms 1