proofs done quick