bwtrees and crdts post