Exploring what "bad" means through a syllogism, and teaches on the category of "non-existents."