Assuming 'Always, if every A is B, then every C is D' holds, if 'Never, if every A is B, then not ev...