big reworking of Idempotents