Identity Analysis

Transactional Analysis can be simplified into a form that doesn't quantify value. This form would be in accordance with mainstream science, according to which moral value doesn't exist but it's forbidden to explicate that moral value doesn't exist. That is to say, normal scientists wouldn't object to such a formalism on grounds of the principle that moral value doesn't exist even though the non-existence of moral value mustn't be stated.

We may define IA relations p NN q as TA relations p NNNN q so that:

p 00 q :⇔ p 0000 q (p and q are of exclusive types)
p 01 q :⇔ p 1001 q (p and q are of non-overlapping types)
p 10 q :⇔ p 0110 q (p and q are of different overlapping types)
p 11 q :⇔ p 1111 q (p and q are of same type)