13Carroll (2022) shows that this is also a recurring formula that extends inductively to earlier periods.