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