use Unsynchronized.change convenience, which also emphasizes the raw access to these references (which happen to be local here);
use Unsynchronized.change convenience, which also emphasizes the raw access to these references (which happen to be local here);

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle