Implementing Idempotence