Abschlussvortrag: Symbolnamen in mathematischen Beweisaufgaben: Nützliches Kontextwissen oder bedeutungslos für den Beweisprozess?