unless A and B are on the same hierarchy, the only...
# arrow
p
unless A and B are on the same hierarchy, the only commonality they have is Any