refinement for pins