( t y0 | j,