Added definition as a submodule