Board Thread:General Discussion/@comment-31406004-20160914020541/@comment-36455791-20181223160907

But Isabelle spans infinite Assist Trophies and we win