Text this: Optimal inflation tax under precommitment :