Hopefully you've saved the Theorem that you used to remove the anomalous block early on in the railway.