(this comment was confused about the fact that we expect the assertion)