t machines wiki wfns