CMM KB proof