Text this: On the likelihood of normalization in combinatory logic.