Dessa instruktioner lyda sålunda: