Title: On the optimal level of taxation