I am reading a by book by the great logician Raymond Smullyan. In this book he says that any statement of the form, "All As are Bs" are true if there are no "As". That is, these statements are vacuously true. He gives the following example, "All Unicorns have 5 legs" is true since there are no unicorns. So is "All unicorns have 6 legs", and "All unicorns are purple", etc. But this strikes me as obviously false. For example, "All unicorns have two horns" and "All unicorns are necessarily existing" are false statements. The first is false in virtue of the fact that unicorns are by definition one-horned. The second is false in virtue by the fact that it is impossible for something to be both necessarily existing and nonexistent. Am I missing something here or misreading Smullyan? Or are these counterexamples sufficient in refuting the claim that any statement of the form "All As are Bs" is vacuously true if there are no "As"? For reference the book is, "Logical Labyrinths" from pages 99-101. Thanks for your reply.