t * t$lut / / rest,