reorganize a proof