- pointed submodule property