>A predicate like "natural number" isn't going to have borderline cases >the way "bald" does. I thought there was at least half a consensus on this list that the boundary between finite and infinite numbers was somewhat tenuous. Vaughan Pratt