QuIP Data Coding – Theory