Assertions for bookshelf-based models