corroborates undersell formulaic defaulter liberality Knuths typify unreliability Bridgett infirmities