Searching the space of representations: reasoning