Structural Tower Design and Analysis - Proof Engineering