Euclid.Exists.present-question-mark

You're seeing just the function present-question-mark, go back to Euclid.Exists module for more information.