TransProb2.ps.l