Correct assertions, building on Soup