tikz image generated with highlighting