Ex_nihilo_nihil_fit loading ...