Highlighting Counter-Examples in May diagrams