lets add a comment at least that this timestamp is not accurate if there are out-of-order packets. We assume commutativity elsewhere, but this semigroup is not commutative.