A Note on Automation, Stagnation, and the Implications of a Robot Tax