We now have correct behaviour for negative values of n and k, which
are used to stand for infinite alternations/rounds respectively.