Text this: Separating lock-freedom from wait-freedom at every level of the consensus hierarchy.