Title: 213 Things for Isabelle to Draw!