It's a path that unifies several very formally related. The unification itself isn't fully formalized, you need to look at the symmetries in the well formalized

It's a path that unifies several very formally related. The unification itself isn't fully formalized, you need to look at the symmetries in the well formalized subparts.