Toward a Rational and Mechanistic Account of Mental Effort | Synapse