where `$notShared` is defined ?