User blog comment:Ubersketch/Weird axiomatic system/@comment-30004975-20190606033153/@comment-30004975-20190606164415

Oh right I thought there were subtle issues with that but there arent'