make the right assertions about this case