I think this comment should be with the assertion below this one.