Highlighting Counter-Examples in May diagrams

You need to be here too :)