Started implementing aliasing diagrams