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