Source: https://www.cs.cornell.edu/~kozen/Papers/kat.pdf