Man tror , att domen skall lyda så,