{a
1
′ = e
1
′, …, a
k
′ = e
k
′}
slide
:
Inheritance semantics -- self-reference