"We designed a new language ... models." But by representing them as diagrams, it becomes possible to approach them formally and systematically, he says. One thing this enables is a clear visual ...