Update src/main/scala/eg/ExistentialQuantification.scala