ackermann ought really just be \mathcal{A} not \mathcal{A}(n)
fix antidependency -> false dependency, fix double period