So in this metaphor, the "Extended Church-Turing Hypothesis" is the belief that there is no haybale?