Symbol: t1_is_T1B