Board Thread:General Discussion/@comment-31406004-20160914020541/@comment-24843283-20181228000051

We have to take Isabelle away from all these assist trophies