This seems like the same assertion as the one two lines up.