[lemma=the] □ □ □ □
[lemma=the] [□] □ □ □
[lemma=the] □* □ □ □
[ 9 ] Such state action would violate the Ex Post Facto Clause ( as to criminals convicted prior to the enactment ) and the Double Jeopardy Clause .