here_513 := v-tr-suAg_obTrgt Xintr,tr,trComp0 
tsirɛ_1697 := v-tr-suAg_obTh Xintr,tr,trComp0 
