prove the cl