Title: Certificate Arithmetic Borrowing