[nitpick] In the 3rd last paragraph this part isn't really clear:
"Except for macex1, ac-macex is then called recursively..." ^^^^^^
-----