is this assertion correct?