Talk:Isabelle/@comment-32229294-20190125035623

this info was very insightful thank you