Add completeness proof
Link to code