Proper idempotence