A is an entire expression, "X#1,Y".
The Axioms of Multiple Form Logic:
(A1) 1 , X = 1
("All is One, and All contains any distinction")
(A2) A # X # X = A
("A distinction distinguishing itself, is no distinction")
(A3) A , X # (A , B) = A , X # A
("What is real we may imagine, but need not imagine what is real")
With Stathis we can reduce the Pile_Object A to the logical expression "X#1,Y".
X,Y <=> Ui = Cp0 ' Cp1
A# <=> Cp2
The combinative pointers Cp0 and Cp1 are located side by side. The Cp2 "is" the "one-inside-another"-relation.