` : other.Foo` would perhaps be easier to understa...
# squarelibraries
p
: other.Foo
would perhaps be easier to understand, but is not required for correctness.