Implemented assertion results.