idseq 2 = <*1,2*> by Th48, Th49;