rq:mathn a=P.tk$$ lp{p a[v(gt)-1]}