must do implementation(transactions and propagations)