starting the change from universal to existential