add new assertions