proof_clusters