every definable object is a prediction machine