8.2 Ordinal Analysis