lTSL P Eq BqmTaE C Y eP