C&C Proofs #2 - andreasbernauer