Förbudet i artikel 4.1 i sjunde tilläggsprotokollet utgör en bestämmelse om res judicata som tar sikte på att ingen får lagföras eller straffas på nytt i en brottmålsrättegång i samma stat för ett brott som han eller hon redan blivit slutligt frikänd eller dömd för .