CME: Proving and Improving Quality