Some progress on linking up the 2nd step of the proof
Defined the final correctnss thm, strengthening stack_swap in progress
Fixed the strengthened stack swap thm, some progress on proving the coloring thm