Notion Refinement for Loop

Notion Refinement for Loop