Let's leave that determination up to a little test case. If you're right, I'll just say that it only ever intended as pseudocode :)