Document more assumptions, add some more asserts