Proving existence of the memory.