Common part (`aux_edge_of`)