He aquí estas instrucciones textuales: