Fix A(A) is A for A idempotent.
Update.