Text this: Tax evasión and the optimal inflation tax