Definition of "asserts"