Non-standard_calculus loading ...