So [chuckles] maybe let me hand over to Bernhard Schröder first.

Yes.

So I, I can just add that, uh, uh, we are working with, uh, within the, uh, framework of frames, uh, when we look at the language of mathematics.

Um, so, uh, the project, uh, uh, in which, uh, this research is embedded is the NaPoS project, uh, which started in 2003, I think.

And, um, it started, uh, from looking at the language of mathematics together with, uh, some logicians at the University of Bonn, and, uh, we talked about, uh, the, um, yeah, some peculiarities of the language of mathematics.

And, uh, from a linguistic viewpoint, uh, I had the impression that we could explain these, uh, peculiarities very good, uh, within, um, the semantics of natural language, especially, um, with the, uh, dynamic approach, approaches to semantics like, um, dynamic predicate logic and, uh, um, discourse representation theory.

And that was the start of the project.

Mm-hmm.