Yep, that's exactly it. Do we want that as a comment in the code?