Unpredictablity Paradox [Lagarias]: If a deterministic function is unpredictable, then it is difficult to prove anything about it, in particular, to prove that it is unpredictable.