ExplicitForall