If 'Ex' is false at w for all values of 'x', then the existential proposition '∃xEx' is false at w, ...