[x jaoks x y-s] -st (x jaoks x y-s)