An introduction to assertions