Suppose, that after a successful career, a worker retired precisely as planned with precisely the amount saved that they intended. Upon retirement, they reduced their consumption and spent much less, living a much more simple life. Is this behavior consistent with the permanent income hypothesis?