Proofs of different Continous Integration process properties.