Sacrificing Double Jeopardy for Rigid Formalism in Blueford v