Prove All Things: Grace Accumulation Is Mandatory