Adjacency refinement; check the cover's interface against the adjacency's

No match.