Adding users formula as submodule