THE REORDER PASS ADDS NOTHING AND CHANGES EVERYTHING
BEFORE
read
The proof is there, below the slice
reorder
AFTER
read
Same lines, now inside it