No pupillometric evidence for effortful proactive control in the proportion-congruent Stroop paradigm | Synapse