We figure out the right fix, then prove it works with a proof of concept.