Implicit_assumption loading ...