non-critical (accidental concurrent access does not affect functional integrity);
non-critical (accidental concurrent access does not affect functional integrity);

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