I dessa instruktioner heter det,