This is subtly different than the vclock:dominates() call, in that dominates() checks if the vclocks are equal. This is fine, right?