a() -> q
x.a() -> x.q
y.a() -> y.q

a() = x.a() = y.a()
x.q != y.q

a() = &o.p

a() -> r
x.a() -> x.r
y.a() -> y.r

A a() nil
A a() x
A a() y

x = {n1 = 4, n2 = 'zero'} -> x = { p = {n1 = 4, n2 = 'zero'}, m = {n = 2} }
y = {n1 = 5, n2 = 'seven'} -> y = { p = {n1 = 5, n2 = 'seven', n3 = 1}, m = {n = 3} }

a() = I &o.p i<5> -> H &o.p S; O &o.p K