added the class SplitProof