Board Thread:Fun and Games/@comment-38557913-20190910233638/@comment-39272804-20190912231340

Pannenkoek2012 then undoes the change so that his definition remains true.