“All cats are animals, but all animals are not cats”