"Overriding assertion messages" section