Drawing Tutorials of How to draw Isabelle