B and T are both subtypes of A, but B is not neces...
# announcements
d
B and T are both subtypes of A, but B is not necessarily a subtype of T