Proving the Model & Defending the Castle