Proof Updates ~ moscow-aluminum-rx