docs: public Membership remove(Address old_member) {
          if(old_member != null) {
              synchronized(members) {
                  members.remove(old_member);
              }
          }
          return this;
      }