TX-25's Successors