protocol refinement