Bunch of work, I don't even.
Boom. Proving Obvious_Flip_Realiz.