formalsystems · HackerTrans