assertion messages added.