outline of K-Atomicity section