Assertions (logical annotations characterizing program execution states) have, over the past thirty years, emerged as an essential tool for reasoning about programs and constructing correct programs. This talk surveys the surprisingly diverse uses to which people have been subjecting assertions, both in the theory of programming and in partical software systems.'