Proof Must Be Solid