Compute all proofs