Der heter det uttryckligen,