[x(x)’~y(x)’]≠[x~y(x)]:   [x~x]≠[x~x]; Up’:   Fp) [x’~y’]=[x~y]; Kp.   Assume:   x≠{x’}:   1) x+x≠{x’}+x; Fp:   x≠x; {x’}Îx, Up’:   Up’’) x={x’}; Kp.   Alternatively, given 1, the following can be defined (the alternative that {x’} and x are not related, can directly be excluded):   x≠{x’}; xÎ{x’}, Up’.   This that x isn’t its properties, introduces the issue of holism/meridioism:   x={x’}±q.   Where q defines the holistic/meridioistic additional/vanishing properties, to/vanishing from the ”original” cluster of properties, namely then {x’}. q which simpliciter arises from/vanishing in Nothing, given that {x’} is unchanged, and of course given that nothing exogen-ously adds to x, of course contrary to T1:   Up’’ is the only rational principle; holism/meridioism is irrational.     Logic   The logic defined by primarily Up, defines a world of separate (unique) x, any connection or correlation between x has to be defined, is not there beforehand (ex ante). The E-theory defines eventual connection between x by attraction or by impact(/collision). This in strong contrast to conventional logic which defines (ex ante) connection, coupling between x by an assumption called the Negation:   Na) x « y(=x’=not-x).   Na which is valid if any kind of “double negation” (double, triple, quadruple, etcetera) is assumed valid; Na immediately implies x’’=x, x ® y only defines that x’=y, no double negation (that y recursively returns to x).   Fundamentally, what in the world couples, pairs every x with another x, eternally? Nothing, ex ante, rationally, it is Up which is rational, and further it is up to a definer or an analyst to define eventual coupling between x, for example then by attraction or collision.   The Na-logic doesn't particularly see itself as a physic, but it must if it shall (not just by chance) have anything to do with the physical or real/rational reality, that’s just a fact.   So, Na must logically be ruled out as an irrational assumption, it has nothing to do with the real world. The world that primarily Na defi-nes is simply a saga. Na-logic is not much help in mathematics either, its two variable (x « y) world is to limited, cramped. Na-logic can be seen as a bizarrely limited aspect of mathematics (generally including many variables: x,y,z,..).   The fundamental rational principals are Up(/Up’/Up’’/Ip/Ip’’/Kp), Fp and Ha (and Ip’). Another principle that can be considered is Dp:  (x ~ y)’=(x’ ~ y’), but not in general (universally), it must be certain that it is rational in its context before it can be adopted. A principle that definitely not can be considered in general, is of course Na. Which not exclude two variable scenarios, if the definition has reduced itself to a two variable scenario. The E-theory or the Fundamental logic (the “Fundallogik”) commonly do so, especially so when it defi-nes the two possibilities = or ≠.   The difference between Na-logic and the Fundallogik in short:   Na-logic) x « y; x,y≠0.   Fundallogik) x «’ y; Ir,Ir’; x ® y; x,y≥0, x=x,z,å,..:   xÎ{x} ® y.   Ex ante: y ® {z}.   Ex post: y ® zÎ{z}; Kp.   Where Na-logic (categorically) says x or y (”The law of excluded middle”, in accordance with Na, given the “The law of non-contradict-tion”: (x Ù y)’, witch in spirit underlies the assumption of Na) the Fundallogik generally says z or z’ or z’’ or z’’’, etcetera. 