Talk:Isabelle/@comment-28631209-20190126212528/@comment-35605711-20190126220323

You did pretty good, im usually too unsure to make a page