Are there known cases when either the dot is not valid, or is not present in the vclock? If so, can we document them? The only time I can think of is if a vclock is pruned...?