I domen heter det,