initial queue/refinement semantics