tragically empty set of modules