pset is now a module