The message here is incorrect--this statement actually asserts that "the list is *not* empty"