Un submodulizing syntastic