12For a derivation, see Carroll (2023b); is defined therein as the MPC of the perfect foresight consumer with horizon .