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