Board Thread:General Discussion/@comment-27004932-20180921115845/@comment-27004932-20180928013000

Banned because Isabelle approves.