ned_at_codomain · HackerTrans