Text this: Proofs of the reality and truth of lottery calculations :