Final EditsLaced in Space Proofs