The proof in the end is quite straightforward, but I wonder: how justified is the assumption of a "non-abnormal" predicate? The authors' explaination involves probabilities, but (probability) measures often do not mesh well with intuitively "reasonable examples". (E.g a significant fraction of the real numbers mathematicans care about are rational, but the rationals have measure zero)