Talk:Isabelle/@comment-174.27.208.113-20190418170532

Underrated character.