double_jeopardy_clause