what does this assertion check?