I needed this to explain the code to myself. And it is still true and helpful, so lets merge it including this comment.