premise: The fortress even withstood an earthquake in 1644, as well as attempts by the Austrian Archduke Charles to blast his way in during the War of the Spanish Succession.
hypothesis: Archduke Charles said his failure to capture the fortress was his greatest regret.