What Makes A Syllogism Valid