Ends the examples of the asserter