THE PROGRAMMING GUARANTEES INTEGRITY