Implement forall edges forall cells.