Input: Dubla incriminare impune de fapt un verdict contradictoriu.
Output: Double Jeopardy actually enforces a jury nullification.