Eh, it depends what you mean by "works". If you mean that if you add new songs in the middle of playback, it doesn't guarantee that every song is played exactly once before any are repeated, sure, but you can't really do that unless you're actually tracking all of the songs.

Many approaches that guarantee that property have pathological behavior if, say, you add a new song to your library after each song that you've played.