Refinement

A refinement edge refines.