Miller comments on exists(max(performance(pay)))