Rework proof structure.