syntatic submodule