Universally quantified

Summary