Sqlite Two Column Proofs