@Pyre : If ISTJ has Si-Te as their first two functions, that creates a "type pattern." Only 1 type can have Si-Te. In Socionics, you get SLI. The two systems are incompatible, so you will have results that are unreliable when you consider factors OTHER than the general "type pattern." When you tried to quote me you did a bad job and confused yourself. I never created an "if-then" statement.
@onfireee : I dont understand how this visual is derived. Look at INTj/Analyst. The blue "expected" correlation aligns itself with INTJ in Myers, which, shouldnt be the "expected" as INTj =TiNe and what should be expected is finding "Ti-Ne" in Myers. Correlation isn't causation either.