Under a descriptional reading, 'Always, if every A is B, then every C is D' can be true in all actua...