Refactor propose-trans.sh