begin idempotents