Beginning to end proof of swap, but it isn't correct.

- The cancellation algorithm does not add any pure
  facts to the framing procedure.