Disclaimers

The tautological function dichotomy, namely Valid/Null, will inject into a dichotomy of TIM, and not a tetrachotomy.
The division hierarchy for 8 function models once injections are applicable are:
- Function Monochotomy (Valid/Null) $⟶$ TIM Dichotomy
- Function Dichotomy $⟶$ TIM Tetrachotomy
- Function Tetrachotomy $⟶$ TIM Octachotomy
- Function Octachotomy $⟶$ TIM Hexadecachotomy

Model A (Presence Cube)

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$G_{1} \cap U_{1}$	Democratic/Aristocratic
Mental/Vital	$G_{1} \cap G_{2} \cap U_{1} \cap U_{2}$	Challenge Response Groups
Accepting/Producing	$G_{1} \cap G_{3} \cap U_{1} \cap U_{3}$	Stress Resistance
Bold/Cautious	$G_{1} \cap G_{4} \cap U_{1} \cap U_{4}$	Positivity Groups
Strong/Weak	$G_{1} \cap R_{1} \cap I_{1} \cap U_{1}$	Club
Valued/Subdued	$G_{1} \cap R_{2} \cap I_{2} \cap U_{1}$	Quadra
Inert/Contact	$G_{1} \cap R_{3} \cap I_{3} \cap U_{1}$	Array Groups
Evaluatory/Situational	$G_{1} \cap R_{4} \cap I_{4} \cap U_{1}$	Occupation Groups

Model A (Classical Socionics)

Reinin

For Irrational Types

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$G_{1} \cap U_{3}$	Process/Result
Mental/Vital	$G_{1} \cap G_{2} \cap U_{3} \cap U_{4}$	Rings of Supervision
Accepting/Producing	$G_{1} \cap G_{3} \cap U_{1} \cap U_{3}$	Stress Resistance
Bold/Cautious	$G_{1} \cap G_{4} \cap U_{2} \cap U_{3}$	Rings of Benefit
Kinetic/Potential	$G_{1} \cap R_{1} \cap I_{3} \cap U_{3}$	Implementation Groups
Verbal/Nonverbal	$G_{1} \cap R_{2} \cap I_{4} \cap U_{3}$	Respository Groups
Inert/Contact	$G_{1} \cap R_{3} \cap I_{1} \cap U_{3}$	Project Groups
Evaluatory/Situational	$G_{1} \cap R_{4} \cap I_{2} \cap U_{3}$	Dispository Groups

For Rational Types

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$G_{1} \cap U_{3}$	Process/Result
Mental/Vital	$G_{1} \cap G_{2} \cap U_{3} \cap U_{4}$	Rings of Supervision
Accepting/Producing	$G_{1} \cap G_{3} \cap U_{1} \cap U_{3}$	Stress Resistance
Bold/Cautious	$G_{1} \cap G_{4} \cap U_{2} \cap U_{3}$	Rings of Benefit
Kinetic/Potential	$G_{1} \cap R_{3} \cap I_{1} \cap U_{3}$	Project Groups
Verbal/Nonverbal	$G_{1} \cap R_{4} \cap I_{2} \cap U_{3}$	Dispository Groups
Inert/Contact	$G_{1} \cap R_{1} \cap I_{3} \cap U_{3}$	Implementation Groups
Evaluatory/Situational	$G_{1} \cap R_{2} \cap I_{4} \cap U_{3}$	Repository Groups

Tencer-Minaev

For Democratic Types

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$V_{1} \cap C_{3}$	Process/Result
Mental/Vital	$V_{1} \cap V_{2} \cap C_{3} \cap C_{4}$	Rings of Supervision
Accepting/Producing	$G_{1} \cap V_{3} \cap C_{1} \cap C_{3}$	Stress Resistance
Bold/Cautious	$V_{1} \cap V_{4} \cap C_{2} \cap C_{3}$	Rings of Benefit
Kinetic/Potential	$V_{1} \cap A_{3} \cap D_{1} \cap C_{3}$	IProcess Implementation, Result Project Groups
Verbal/Nonverbal	$G_{1} \cap A_{4} \cap D_{2} \cap C_{3}$	Dual Axis (Asymmetric Process Passionarity Result Centrality)
Inert/Contact	$V_{1} \cap A_{1} \cap D_{3} \cap C_{3}$	Process Project, Result Implementation Groups
Evaluatory/Situational	$V_{1} \cap A_{2} \cap D_{4} \cap C_{3}$	Dual Axis (Asymmetric Process Centrality Result Passionarity)

For Aristocratic Types

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$V_{1} \cap C_{3}$	Process/Result
Mental/Vital	$V_{1} \cap V_{2} \cap C_{3} \cap C_{4}$	Rings of Supervision
Accepting/Producing	$G_{1} \cap V_{3} \cap C_{1} \cap C_{3}$	Stress Resistance
Bold/Cautious	$V_{1} \cap V_{4} \cap C_{2} \cap C_{3}$	Rings of Benefit
Kinetic/Potential	$V_{1} \cap A_{1} \cap D_{3} \cap C_{3}$	Process Project, Result Implementation Groups
Verbal/Nonverbal	$G_{1} \cap A_{2} \cap D_{4} \cap C_{3}$	Dual Axis (Asymmetric Process Centrality Result Passionarity)
Inert/Contact	$V_{1} \cap A_{3} \cap D_{1} \cap C_{3}$	Process Implementation, Result Project Groups
Evaluatory/Situational	$V_{1} \cap A_{4} \cap D_{2} \cap C_{3}$	Dual Axis (Asymmetric Process Passionarity Result Centrality)

Model G (Humanitarian Socionics)

Reinin

For Irrational Types

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$G_{1} \cap U_{3}$	Process/Result
Opening/Closing	$G_{1} \cap G_{2} \cap U_{3} \cap U_{4}$	Rings of Supervision
Stable/Unstable	$G_{1} \cap G_{3} \cap U_{1} \cap U_{3}$	Stress Resistance
External/Internal	$G_{1} \cap G_{4} \cap U_{2} \cap U_{3}$	Rings of Benefit
Leading/Following	$G_{1} \cap R_{1} \cap I_{3} \cap U_{3}$	Implementation Groups
Accelerating/Decelerating	$G_{1} \cap R_{2} \cap I_{4} \cap U_{3}$	Respository Groups
Values/Tools	$G_{1} \cap R_{3} \cap I_{1} \cap U_{3}$	Project Groups
Automatic/Conscious	$G_{1} \cap R_{4} \cap I_{2} \cap U_{3}$	Dispository Groups

For Rational Types

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$G_{1} \cap U_{3}$	Process/Result
Opening/Closing	$G_{1} \cap G_{2} \cap U_{3} \cap U_{4}$	Rings of Supervision
Stable/Unstable	$G_{1} \cap G_{3} \cap U_{1} \cap U_{3}$	Stress Resistance
External/Internal	$G_{1} \cap G_{4} \cap U_{2} \cap U_{3}$	Rings of Benefit
Leading/Following	$G_{1} \cap R_{3} \cap I_{1} \cap U_{3}$	Project Groups
Accelerating/Decelerating	$G_{1} \cap R_{4} \cap I_{2} \cap U_{3}$	Dispository Groups
Values/Tools	$G_{1} \cap R_{1} \cap I_{3} \cap U_{3}$	Implementation Groups
Automatic/Conscious	$G_{1} \cap R_{2} \cap I_{4} \cap U_{3}$	Repository Groups

Tencer-Minaev

For Democratic Types

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$V_{1} \cap C_{3}$	Process/Result
Opening/Closing	$V_{1} \cap V_{2} \cap C_{3} \cap C_{4}$	Rings of Supervision
Stable/Unstable	$V_{1} \cap V_{3} \cap C_{1} \cap C_{3}$	Stress Resistance
External/Internal	$V_{1} \cap V_{4} \cap C_{2} \cap C_{3}$	Rings of Benefit
Leading/Following	$V_{1} \cap A_{3} \cap D_{1} \cap C_{3}$	Process Implementation, Result Project Groups
Accelerating/Decelerating	$V_{1} \cap A_{4} \cap D_{2} \cap C_{3}$	Dual Axis (Asymmetric Process Passionarity Result Centrality)
Values/Tools	$V_{1} \cap A_{1} \cap D_{3} \cap C_{3}$	Process Project, Result Implementation Groups
Automatic/Conscious	$V_{1} \cap A_{2} \cap D_{4} \cap C_{3}$	Dual Axis (Asymmetric Process Centrality Result Passionarity)

For Aristocratic Types

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$V_{1} \cap C_{3}$	Process/Result
Opening/Closing	$V_{1} \cap V_{2} \cap C_{3} \cap C_{4}$	Rings of Supervision
Stable/Unstable	$V_{1} \cap V_{3} \cap C_{1} \cap C_{3}$	Stress Resistance
External/Internal	$V_{1} \cap V_{4} \cap C_{2} \cap C_{3}$	Rings of Benefit
Leading/Following	$V_{1} \cap A_{1} \cap D_{3} \cap C_{3}$	Process Project, Result Implementation Groups
Accelerating/Decelerating	$V_{1} \cap A_{2} \cap D_{4} \cap C_{3}$	Dual Axis (Asymmetric Process Centrality Result Passionarity)
Values/Tools	$V_{1} \cap A_{3} \cap D_{1} \cap C_{3}$	Process Implementation, Result Project Groups
Automatic/Conscious	$V_{1} \cap A_{4} \cap D_{2} \cap C_{3}$	Dual Axis (Asymmetric Process Passionarity Result Centrality)

Gulenko-Newman Dichotomies

Semidual Mirage HEF

For Iridescent Hopes Types

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$Δ_{1} \cap E_{3}$	Process/Result
Opening/Closing	$Δ_{1} \cap Δ_{4} \cap E_{2} \cap E_{3}$	Rings of Supervision
Stable/Unstable	$Δ_{1} \cap Δ_{3} \cap E_{1} \cap E_{3}$	Stress Resistance
External/Internal	$Δ_{1} \cap Δ_{2} \cap E_{3} \cap E_{4}$	Rings of Benefit
Energetic/Informational	$Δ_{1} \cap (P H)_{3} \cap (P I)_{1} \cap E_{3}$	Iridescent Hopes HEF
Excitable/Inhibitable	$Δ_{1} \cap (P H)_{2} \cap (P I)_{4} \cap E_{3}$	Avoiding Failures HEF
Impressionable/Unimpressionable	$Δ_{1} \cap (P H)_{1} \cap (P I)_{3} \cap E_{3}$	Waiting HEF
Tensioned/Relaxed	$Δ_{1} \cap (P H)_{4} \cap (P I)_{2} \cap E_{3}$	Realistic Plans HEF

For Waiting Types

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$Δ_{1} \cap E_{3}$	Process/Result
Opening/Closing	$Δ_{1} \cap Δ_{4} \cap E_{2} \cap E_{3}$	Rings of Supervision
Stable/Unstable	$Δ_{1} \cap Δ_{3} \cap E_{1} \cap E_{3}$	Stress Resistance
External/Internal	$Δ_{1} \cap Δ_{2} \cap E_{3} \cap E_{4}$	Rings of Benefit
Energetic/Informational	$Δ_{1} \cap (P H)_{1} \cap (P I)_{3} \cap E_{3}$	Waiting HEF
Excitable/Inhibitable	$Δ_{1} \cap (P H)_{4} \cap (P I)_{2} \cap E_{3}$	Realistic Plans HEF
Impressionable/Unimpressionable	$Δ_{1} \cap (P H)_{3} \cap (P I)_{1} \cap E_{3}$	Iridescent Hopes HEF
Tensioned/Relaxed	$Δ_{1} \cap (P H)_{2} \cap (P I)_{4} \cap E_{3}$	Avoiding Failures HEF

For Realistic Plans Types

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$Δ_{1} \cap E_{3}$	Process/Result
Opening/Closing	$Δ_{1} \cap Δ_{4} \cap E_{2} \cap E_{3}$	Rings of Supervision
Stable/Unstable	$Δ_{1} \cap Δ_{3} \cap E_{1} \cap E_{3}$	Stress Resistance
External/Internal	$Δ_{1} \cap Δ_{2} \cap E_{3} \cap E_{4}$	Rings of Benefit
Energetic/Informational	$Δ_{1} \cap (P H)_{4} \cap (P I)_{2} \cap E_{3}$	Realistic Plans HEF
Excitable/Inhibitable	$Δ_{1} \cap (P H)_{1} \cap (P I)_{3} \cap E_{3}$	Waiting HEF
Impressionable/Unimpressionable	$Δ_{1} \cap (P H)_{2} \cap (P I)_{4} \cap E_{3}$	Avoiding Failures HEF
Tensioned/Relaxed	$Δ_{1} \cap (P H)_{3} \cap (P I)_{1} \cap E_{3}$	Iridescent Hopes HEF

For Avoiding Failures Types

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$Δ_{1} \cap E_{3}$	Process/Result
Opening/Closing	$Δ_{1} \cap Δ_{4} \cap E_{2} \cap E_{3}$	Rings of Supervision
Stable/Unstable	$Δ_{1} \cap Δ_{3} \cap E_{1} \cap E_{3}$	Stress Resistance
External/Internal	$Δ_{1} \cap Δ_{2} \cap E_{3} \cap E_{4}$	Rings of Benefit
Energetic/Informational	$Δ_{1} \cap (P H)_{2} \cap (P I)_{4} \cap E_{3}$	Avoiding Failures HEF
Excitable/Inhibitable	$Δ_{1} \cap (P H)_{3} \cap (P I)_{1} \cap E_{3}$	Iridescent Hopes HEF
Impressionable/Unimpressionable	$Δ_{1} \cap (P H)_{4} \cap (P I)_{2} \cap E_{3}$	Realistic Plans HEF
Tensioned/Relaxed	$Δ_{1} \cap (P H)_{1} \cap (P I)_{3} \cap E_{3}$	Waiting HEF

Kindred Business HEF

For Flexible Manoeuvring Types

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$G_{1} \cap U_{3}$	Process/Result
Opening/Closing	$G_{1} \cap G_{2} \cap U_{3} \cap U_{4}$	Rings of Supervision
Stable/Unstable	$G_{1} \cap G_{3} \cap U_{1} \cap U_{3}$	Stress Resistance
External/Internal	$G_{1} \cap G_{4} \cap U_{2} \cap U_{3}$	Rings of Benefit
Energetic/Informational	$G_{1} \cap (P L)_{3} \cap (P K)_{1} \cap U_{3}$	Flexible Manoeuvring HEF
Excitable/Inhibitable	$G_{1} \cap (P L)_{4} \cap (P K)_{2} \cap U_{3}$	Linear Assertive HEF
Impressionable/Unimpressionable	$G_{1} \cap (P L)_{1} \cap (P K)_{3} \cap U_{3}$	Receptive Adaptive HEF
Tensioned/Relaxed	$G_{1} \cap (P L)_{2} \cap (P K)_{4} \cap U_{3}$	Balanced Stable HEF

For Linear Assertive Types

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$G_{1} \cap U_{3}$	Process/Result
Opening/Closing	$G_{1} \cap G_{2} \cap U_{3} \cap U_{4}$	Rings of Supervision
Stable/Unstable	$G_{1} \cap G_{3} \cap U_{1} \cap U_{3}$	Stress Resistance
External/Internal	$G_{1} \cap G_{4} \cap U_{2} \cap U_{3}$	Rings of Benefit
Energetic/Informational	$G_{1} \cap (P L)_{4} \cap (P K)_{2} \cap U_{3}$	Linear Assertive HEF
Excitable/Inhibitable	$G_{1} \cap (P L)_{3} \cap (P K)_{1} \cap U_{3}$	Flexible Manoeuvring HEF
Impressionable/Unimpressionable	$G_{1} \cap (P L)_{2} \cap (P K)_{4} \cap U_{3}$	Balanced Stable HEF
Tensioned/Relaxed	$G_{1} \cap (P L)_{1} \cap (P K)_{3} \cap U_{3}$	Receptive Adaptive HEF

For Balanced Stable Types

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$G_{1} \cap U_{3}$	Process/Result
Opening/Closing	$G_{1} \cap G_{2} \cap U_{3} \cap U_{4}$	Rings of Supervision
Stable/Unstable	$G_{1} \cap G_{3} \cap U_{1} \cap U_{3}$	Stress Resistance
External/Internal	$G_{1} \cap G_{4} \cap U_{2} \cap U_{3}$	Rings of Benefit
Energetic/Informational	$G_{1} \cap (P L)_{2} \cap (P K)_{4} \cap U_{3}$	Balanced Stable HEF
Excitable/Inhibitable	$G_{1} \cap (P L)_{1} \cap (P K)_{3} \cap U_{3}$	Receptive Adaptive HEF
Impressionable/Unimpressionable	$G_{1} \cap (P L)_{4} \cap (P K)_{2} \cap U_{3}$	Linear Assertive HEF
Tensioned/Relaxed	$G_{1} \cap (P L)_{3} \cap (P K)_{1} \cap U_{3}$	Flexible Manoeuvring HEF

For Receptive Adaptive Types

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$G_{1} \cap U_{3}$	Process/Result
Opening/Closing	$G_{1} \cap G_{2} \cap U_{3} \cap U_{4}$	Rings of Supervision
Stable/Unstable	$G_{1} \cap G_{3} \cap U_{1} \cap U_{3}$	Stress Resistance
External/Internal	$G_{1} \cap G_{4} \cap U_{2} \cap U_{3}$	Rings of Benefit
Energetic/Informational	$G_{1} \cap (P L)_{1} \cap (P K)_{3} \cap U_{3}$	Receptive Adaptive HEF
Excitable/Inhibitable	$G_{1} \cap (P L)_{2} \cap (P K)_{4} \cap U_{3}$	Balanced Stable HEF
Impressionable/Unimpresionable	$G_{1} \cap (P L)_{3} \cap (P K)_{1} \cap U_{3}$	Flexible Manoeuvring HEF
Tensioned/Relaxed	$G_{1} \cap (P L)_{4} \cap (P K)_{2} \cap U_{3}$	Linear Assertive HEF

Activation Quasi Identity HEF

For Approaching Types

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$O_{1} \cap P_{3}$	Process/Result
Opening/Closing	$O_{1} \cap O_{4} \cap P_{2} \cap P_{3}$	Rings of Supervision
Stable/Unstable	$O_{1} \cap O_{3} \cap P_{1} \cap P_{3}$	Stress Resistance
External/Internal	$O_{1} \cap O_{2} \cap P_{3} \cap P_{4}$	Rings of Benefit
Energetic/Informational	$O_{1} \cap (D A)_{3} \cap (D Q)_{1} \cap P_{3}$	Approaching HEF
Excitable/Inhibitable	$O_{1} \cap (D A)_{2} \cap (D Q)_{4} \cap P_{3}$	Shaping HEF
Impressionable/Unimpresionable	$O_{1} \cap (D A)_{1} \cap (D Q)_{3} \cap P_{3}$	Abstaining HEF
Tensioned/Relaxed	$O_{1} \cap (D A)_{4} \cap (D Q)_{2} \cap P_{3}$	Integrating HEF

For Shaping Types

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$O_{1} \cap P_{3}$	Process/Result
Opening/Closing	$O_{1} \cap O_{4} \cap P_{2} \cap P_{3}$	Rings of Supervision
Stable/Unstable	$O_{1} \cap O_{3} \cap P_{1} \cap P_{3}$	Stress Resistance
External/Internal	$O_{1} \cap O_{2} \cap P_{3} \cap P_{4}$	Rings of Benefit
Energetic/Informational	$O_{1} \cap (D A)_{2} \cap (D Q)_{4} \cap P_{3}$	Shaping HEF
Excitable/Inhibitable	$O_{1} \cap (D A)_{3} \cap (D Q)_{1} \cap P_{3}$	Approaching HEF
Impressionable/Unimpresionable	$O_{1} \cap (D A)_{4} \cap (D Q)_{2} \cap P_{3}$	Integrating HEF
Tensioned/Relaxed	$O_{1} \cap (D A)_{1} \cap (D Q)_{3} \cap P_{3}$	Abstaining HEF

For Abstaining Types

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$O_{1} \cap P_{3}$	Process/Result
Opening/Closing	$O_{1} \cap O_{4} \cap P_{2} \cap P_{3}$	Rings of Supervision
Stable/Unstable	$O_{1} \cap O_{3} \cap P_{1} \cap P_{3}$	Stress Resistance
External/Internal	$O_{1} \cap O_{2} \cap P_{3} \cap P_{4}$	Rings of Benefit
Energetic/Informational	$O_{1} \cap (D A)_{1} \cap (D Q)_{3} \cap P_{3}$	Abstaining HEF
Excitable/Inhibitable	$O_{1} \cap (D A)_{4} \cap (D Q)_{2} \cap P_{3}$	Integrating HEF
Impressionable/Unimpressionable	$O_{1} \cap (D A)_{3} \cap (D Q)_{1} \cap P_{3}$	Approaching HEF
Tensioned/Relaxed	$O_{1} \cap (D A)_{2} \cap (D Q)_{4} \cap P_{3}$	Shaping HEF

For Integrating Types

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$O_{1} \cap P_{3}$	Process/Result
Opening/Closing	$O_{1} \cap O_{4} \cap P_{2} \cap P_{3}$	Rings of Supervision
Stable/Unstable	$O_{1} \cap O_{3} \cap P_{1} \cap P_{3}$	Stress Resistance
External/Internal	$O_{1} \cap O_{2} \cap P_{3} \cap P_{4}$	Rings of Benefit
Energetic/Informational	$O_{1} \cap (D A)_{4} \cap (D Q)_{2} \cap P_{3}$	Integrating HEF
Excitable/Inhibitable	$O_{1} \cap (D A)_{1} \cap (D Q)_{3} \cap P_{3}$	Abstaining HEF
Impressionable/Unimpressionable	$O_{1} \cap (D A)_{2} \cap (D Q)_{4} \cap P_{3}$	Shaping HEF
Tensioned/Relaxed	$O_{1} \cap (D A)_{3} \cap (D Q)_{1} \cap P_{3}$	Approaching HEF

Mirror Conflict HEF

For Reorienters

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$V_{1} \cap C_{3}$	Process/Result
Opening/Closing	$V_{1} \cap V_{2} \cap C_{3} \cap C_{4}$	Rings of Supervision
Stable/Unstable	$V_{1} \cap V_{3} \cap C_{1} \cap C_{3}$	Stress Resistance
External/Internal	$V_{1} \cap V_{4} \cap C_{2} \cap C_{3}$	Rings of Benefit
Energetic/Informational	$V_{1} \cap (D C)_{3} \cap (D Q)_{1} \cap C_{3}$	Reorienters HEF
Excitable/Inhibitable	$V_{1} \cap (D C)_{4} \cap (D M)_{2} \cap C_{3}$	Slackeners HEF
Impressionable/Unimpressionable	$V_{1} \cap (D C)_{1} \cap (D M)_{3} \cap C_{3}$	Sharpeners HEF
Tensioned/Relaxed	$V_{1} \cap (D C)_{2} \cap (D M)_{4} \cap C_{3}$	Foundationalists HEF

For Foundationalists

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$V_{1} \cap C_{3}$	Process/Result
Opening/Closing	$V_{1} \cap V_{2} \cap C_{3} \cap C_{4}$	Rings of Supervision
Stable/Unstable	$V_{1} \cap V_{3} \cap C_{1} \cap C_{3}$	Stress Resistance
External/Internal	$V_{1} \cap V_{4} \cap C_{2} \cap C_{3}$	Rings of Benefit
Energetic/Informational	$V_{1} \cap (D C)_{2} \cap (D M)_{4} \cap C_{3}$	Foundationalists HEF
Excitable/Inhibitable	$V_{1} \cap (D C)_{1} \cap (D M)_{3} \cap C_{3}$	Sharpeners HEF
Impressionable/Unimpressionable	$V_{1} \cap (D C)_{4} \cap (D M)_{2} \cap C_{3}$	Slackeners HEF
Tensioned/Relaxed	$V_{1} \cap (D C)_{3} \cap (D Q)_{1} \cap C_{3}$	Reorienters HEF

For Sharpeners

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$V_{1} \cap C_{3}$	Process/Result
Opening/Closing	$V_{1} \cap V_{2} \cap C_{3} \cap C_{4}$	Rings of Supervision
Stable/Unstable	$V_{1} \cap V_{3} \cap C_{1} \cap C_{3}$	Stress Resistance
External/Internal	$V_{1} \cap V_{4} \cap C_{2} \cap C_{3}$	Rings of Benefit
Energetic/Informational	$V_{1} \cap (D C)_{1} \cap (D M)_{3} \cap C_{3}$	Sharpeners HEF
Excitable/Inhibitable	$V_{1} \cap (D C)_{2} \cap (D M)_{4} \cap C_{3}$	Foundationalists HEF
Impressionable/Unimpressionable	$V_{1} \cap (D C)_{3} \cap (D Q)_{1} \cap C_{3}$	Reorienters HEF
Tensioned/Relaxed	$V_{1} \cap (D C)_{4} \cap (D M)_{2} \cap C_{3}$	Slackeners HEF

For Slackeners

Function Dichotomy	TIM Tetrachotomy Construction	TIM Tetrachotomy
Valid/Null	$V_{1} \cap C_{3}$	Process/Result
Opening/Closing	$V_{1} \cap V_{2} \cap C_{3} \cap C_{4}$	Rings of Supervision
Stable/Unstable	$V_{1} \cap V_{3} \cap C_{1} \cap C_{3}$	Stress Resistance
External/Internal	$V_{1} \cap V_{4} \cap C_{2} \cap C_{3}$	Rings of Benefit
Energetic/Informational	$V_{1} \cap (D C)_{4} \cap (D M)_{2} \cap C_{3}$	Slackeners HEF
Excitable/Inhibitable	$V_{1} \cap (D C)_{3} \cap (D Q)_{1} \cap C_{3}$	Reorienters HEF
Impressionable/Unimpressionable	$V_{1} \cap (D C)_{2} \cap (D M)_{4} \cap C_{3}$	Foundationalists HEF
Tensioned/Relaxed	$V_{1} \cap (D C)_{1} \cap (D M)_{3} \cap C_{3}$	Sharpeners HEF

See Also