Least_dangerous_assumption loading ...