Asymptotic_notation loading ...