So we can get sweet graphs of AX hierarchies.
So we can get sweet graphs of AX hierarchies.