Hacking set theory with Seth · HackerTrans