visualizing lemmas in random places