Text this: Proof of Correctness of Data Representations