Proof Updates ~ eagle-aluminum