Ungeneralize because it didn't work. :(