Tests aren't proofs.