I will have to give an update on a project sometime sooner rather than later. It has been intense thus far and it's not about to get less stressful. Like Mathematical Induction there's a base case, Induction Hypothesis and the proof for all in a well ordered set.