Die 32 cm dicke Wand soll im Keller als 20 cm dicke Wand und mit Dämmung berechnet werden. Die Dämmung ist schon auf 12 cm eingestellt. Zuerst rufen wir die eigenen Festformeln auf. Es gibt für die Wände eine Wandstärkenausschlussprüfung. Wir kopieren uns den Term der Ausschlussprüfung und über "Formelteil suchen" erhalten wir alle Formeln, die diesen Term enthalten. Wir markieren alle Elemente und ergänzen den Term "<>0,32" in allen markierten Formeln. Bei den Massivwänden wird auf einen Teil der Wandstärken geprüft. Wir markieren wieder einen Term, suchen die Formeln und mit Suchen und Ersetzen werden uns die Wände angezeigt. Wir markieren alle Positionen und ergänzen die Prüfung mit "_OR_Maß1=0,320". Es gibt noch Festformeln mit den Wandstärken. Wir kopieren uns eine Festformel.