subsection 2.1 "Implementation" of k-atomicity