Jedi as a proper submodule