Notes on the dynamics of pension funding