Hierarchies of knowledge in distributed protocols