Moved karmaSet to its own file.