I domens premisser heter det: