statistical analysis, and some proofs