Re[2]: Proposal: ExplicitForall