recovering the witness of idempotency from the splitting