starting a sketch of cancelation.

- current code builds a consolidated representation.