Domen skall verkställas af konungen.