There is now one more assertion