Title: Cps:(Tx State)Comp:Conc&Impl W/Effe