Add the final versions of four theoretical files.