Transaction Logic impl + tests