Zwei Fragen zur Formelsprache