Tacit_assumption loading ...