Add new assertions