All the proofs build now