We need unit tests to verify this assumption.