A theory of game trees, based on solution trees