hand, ranking of general restricted permutations has turned out to balance on the
verge of $\#P$-completeness (Theorem \ref{pcomplete}). All our algorithms run
on the RAM model, which seems to be the only sensible choice for problems of
-inherently arithmetic nature.
+inherently arithmetic nature. While the unit-cost assumption on arithmetic operations
+is not universally accepted, our results imply that the complexity of our algorithm
+is dominated by the necessary arithmetics.
Aside from the concrete problems we have solved, we have also built several algorithmic
techniques of general interest: the unification procedures using pointer-based