This table does not add anything. Instead, we can put the index into the "last attempted proof" table, or just remove it.