transactional correctness

Tag