Links for verysimplemodule-jwetzel