Witten había sugerido que una fórmula general de la teoría-M probablemente requeriría del desarrollo de un nuevo lenguaje matemático.