An FAQ on Theorem Painting