universally quantify