Reworked proof definition, cluster proof.