Implied_assertion loading ...