swap+cauchy is idempotent.  Not sure how to prove it though.