==> induction/paradox.p <==
Is there a non-trivial property that holds for the first 10,000 positive
integers, then fails?