Assertions to check the properties of models
