A new subsection on guarantees towards the programmer.