They're the same, the only way two vclocks could descend each other is if they were equal. I think `vclock:dominates/2` makes that clearer (although, IMO, equals check first might be an optimisation.)