La eliminación de esos errores y la traducción a una notación más normal, son las principales tareas del grupo que está trabajando en la teoría de Heim.