Make this clear in the documentation and add some asserts to ensure
that it is always true.