TRV$T TH3 PROC3$$ (Explicit)