can we mark `not-shared` as `!` ?