Adds two new asserts