A proof that a key or value is not present in a set or Merkle structure.