Cindy 2018 Proofs