This paper shows how to derive a complete set of optimality conditions characterising the solution to a dynamic optimal income tax problem in the spirit of Mirrlees (1971), under the assumption that a 'first-order' approach to incentive compatibility is valid.  The method relies on constructing...