A Theory of Graph Comprehension