let empty = {
  ctxt = [];
  p = Partition.empty;
  eqs = Combine.E.empty;
  upper = 0
}