...and the right assertions would also help