Proof of correctness of data representations — Proof of correctness of data representations — the latest coverage, the community and the facts.