An assertion specifies a condition that you expect to be true at a point in your program.