Following the algorithm in Dumas and Lyasoff (2012), we rewrite the whole equilibrium system
in the period t + 1 and get rid of all endogenous variables in period t.
The so-called ‘marketability conditions’ (budget constraints) of Dumas and Lyasoff (2012) are
as follows