https://9dok.org/document/z1dlx5d8-paper-appeared-order-parametrized-arity-gap.html