Edinburgh Research Explorer Hyperproof : abstraction, visual preference and multimodality