Der heter det uttryckligen: