 (1) and (2) aren’t necessarily equivalent because Ben Vorlich might have been taller than Ben Vane even if Ben Vorlich and Ben Vane had had different heights from the ones they actually have, i.e., (2) doesn’t follow from (1). Nevertheless, Ben Vorlich’s being taller than Ben Vane is determined by its having the height it does (3094 ft) and Ben Vane’s having the height it does (3002 ft); it isn’t possible for these mountains to have the heights they do whilst Ben Vorlich fail to be taller than Ben Vane. So the being taller than relation is internal in Armstrong’s sense. This relation is also internal in Lewis’s sense which, recall, relies upon comparison between pairs of a relation’s relata (Lewis 1986: 62). Ben Lomond doesn’t stand to Ben More as Ben Vorlich does to Ben Vane, because Ben Lomond is 3196 ft, Ben More, 3852 ft. Hence Ben Vorlich’s being taller than Ben Vane supervenes, in Lewis’s sense, upon the heights of Ben Vorlich and Ben Vane. So once Ben Vorlich and Ben Vane have been bestowed with their respective heights there is no need to admit a further (internal) relation to account for Ben Vorlich’s being taller than Ben Vane (Campbell 1990: 100, 103; Lewis 1994: 294).