Iterative progress; the math hierarchy is coming along.