Ascoli's_theorem loading ...