" But in the complicated parts of formal logic it is always one order of magnitude harder to tell what an object can do than to produce the object. "

― George Dyson , Turing's Cathedral: The Origins of the Digital Universe