“…Secondly, the proof is obtained using Ekeland Variational Principle (EVP, for short), a fact that answers a question A. Ioffe raised in a discussion with the fourth author of this paper: how to get direct proofs for openness results (and, also, for coincidence/fixed points results), on complete metric spaces, using EVP and not arguing by contradiction. In our knowlelge (see, for instance, [63], [14], [23]), in many cases, the proofs relying on EVP are made on normed vector spaces, and reasoning by contradiction. The supplemental structure of the space (i.e., its linear structure, but also the norm), which seems at first glance a little surprising, it is used essentially in the construction of the contradiction.…”