meaning i _think_ the `pk` method preserves sequential consistency w.r.t. registers and unregisters.