Adding generalized transactions