Very high level sketch of the correctness of the partial order encoding.