Exercise 4.59 - adding assertions to the database