(the "that we do not know exists" bit is just the implicit contract of

Spec

, i suppose...

DescendantAddresses

might not match anything, etc)