As a result of modeling the Craig training data, I expect that Covlan will be able to represent all of the Craig test data, both in terms of elements and transformations. I expect that my theoretical comparison with the non-visual will show that, as a category, they would benefit from visual abstraction. I expect my implementation to work, and to show computationally the usefulness of visual abstraction. Experiments with the agent will support my hypotheses as well.