Thread:Cuckarot/@comment-34449772-20180313010139/@comment-31482429-20180917114902

So

About that Isabelle reveal.