Theorembeweiser werden zunehmend in der Hochschullehre eingesetzt, da sie Studierende beim Erwerb formaler Beweisfertigkeiten unterstützen, sind jedoch nicht einfach zu erlernen. Der Beitrag schärft ein Designprinzip zum Scaffolding von Lernumgebungen zu Theorembeweisern aus. Insbesondere untersuchen wir dafür unterschiedliche Zustände in der Arbeit mit Theorembeweiser und die damit verknüpften Strategien. Die Ergebnisse sprechen für ein zustandsspezifisches Aufgabendesign, das unterschiedliche Stützen gezielt hervorhebt.