Refinement and Separation Contexts