initial vertx