Turning set theory into the world's worst conlang