(1) verifiers for atomicity and 2-atomicity
(2) detailed documentation for these verifiers