Designing for Interactive Exploratory Data Analysis Requires Theories of Graphical Inference | Synapse