I dessa instruktioner heter det: