Slutsky's_theorem loading ...