The proof points behind the claim that Digit is a product, not a demo