Proof SelectionFinal Edits (Large Files)