"∃" Type