t=s q t sr v ^*