The critical act in formulating computational theories turns out to be the discovery of valid constraints on the way the world is structured — constraints that provide sufficient information to allow the processing to succeed.

Representation and recognition of the spatial organization of three-dimensional shapes, 1978