Now the triangles are the same thing as \.dep and \.'dep
Cosmetic changes + filled a few postulates