4.1 The Carry flag

As already discussed, the C flag is the resulting borrow from computing d_{n-1}.