"Inside out" in other words, text
i
0
≡d
n
⊃i
n
p
1
≡d
n
[']
⊂p
0
i
'
≡p
n
⊇i
"Outside" or, physical reality
i
0
≡d
n
⊆i
n