htf ( t Ex sod^ -r