Changes
greater-than-or-equals is correct
== Definitions ==
A message m is '''fully-acked''' (from the POV of a given member ''u'') iff, for all recipients ''r'', ''u'' has accepted a message by ''r'' where seqnum(parent(r)) >ge; seqnum(m).
* ''recipients'' possibly includes u, but certainly excludes m's sender
