A number of new assertions