Symbol: t1__