I'm not sure this doc string is descriptive of what is asserted below.