properly submoduld