The first three of these are subsumed in our third aspect above; the last we see in our fourth aspect, that is in interaction between the problem and the solver. The representation system in which the problem has been presented is also likely to have an influence on the approach to proof