Refine requires