Spatial Comprehension and Comparison Processes in Verification