diff --git a/Modules/RDTs/src/main/scala/rdts/datatypes/experiments/protocols/Membership.scala b/Modules/RDTs/src/main/scala/rdts/datatypes/experiments/protocols/Membership.scala
index a919c6518..a4cb8847f 100644
--- a/Modules/RDTs/src/main/scala/rdts/datatypes/experiments/protocols/Membership.scala
+++ b/Modules/RDTs/src/main/scala/rdts/datatypes/experiments/protocols/Membership.scala
@@ -127,6 +127,7 @@ object Membership {
 
     override def lteq(left: Membership[A, C, D], right: Membership[A, C, D]): Boolean =
       if left.counter < right.counter then true
+      else if left.log.length < right.log.length then true
       else
         Lattice[D[A]].lteq(
           left.innerConsensus,