In the process of rewriting uniformity proofs