txnal => atomic