8.3 Ordinal Analysis

More following soon!