More asserts satisfied.