Rewrite of Assertion and Provider description