rename tv -> explicitForall