Congratulations, Jon. Your proofs continue to impress and inspire.