Highlighting Counter-Examples in May diagrams

Probably a leftover?