https://9dok.net/document/yng0d9ll-taxation-without-commitment.html