added proper conque term submodule