Title: Dynamic optimal taxation, rational expectations and control theory