i like to juxtapose the primariality of the dimensions. by doing this i started noting correlations between types and other "functions." for example just as tiNe and Tine is distinct in subtype theory it is possible to view the functions as a sort of vectors in a correspondingl coordinate system. so in my mind Ti is distinct from tI and so forth. this can be used to find corrolaries between various types such as the Ji subtypes of the intj + isfj having much more in common than a Pi TiNe and a Je Ej_f sI. eventually all the systems break down however as the initial parameters which attempt to discuss the objects at hand lack sufficient range