Universally quantify