Hi, I'm Sebastian Koch, better known on the internet as Ayutac! I publish Mizar articles (math papers in which I formulize math so that a computer can understand it), ORCID 0000-0002-9628-177X. But I also dabble in creative writing, art and translations. I don't really care much about money and mainly started this account for a minor charity event, but hey if you want to give me a tip for healty food or something, thanks!