Transaction formula implemented