Updates to later parts of the paper