Proof Updates ~ ada-acetate