a-formalized-curiosity tumblr