adjusted theory name to file name